Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів
1
Logique pour l'informatique et pour l'intelligence artificielle

Logique pour l'informatique et pour l'intelligence artificielle

Ricardo Caferra
Рік:
2010
Мова:
french
Файл:
PDF, 6.21 MB
5.0 / 0
french, 2010
2
Logic for Computer Science and Artificial Intelligence

Logic for Computer Science and Artificial Intelligence

Ricardo Caferra
Рік:
2011
Мова:
english
Файл:
PDF, 5.32 MB
0 / 0
english, 2011
3
Logique pour l'informatique et pour l'intelligence artificielle

Logique pour l'informatique et pour l'intelligence artificielle

Ricardo Caferra
Рік:
2010
Мова:
french
Файл:
DJVU, 3.41 MB
5.0 / 0
french, 2010
4
Logic for computer science and artificial intelligence

Logic for computer science and artificial intelligence

Caferra, Ricardo
Рік:
2011
Мова:
english
Файл:
PDF, 5.12 MB
0 / 0
english, 2011
6
Logic for Computer Science and Artificial Intelligence

Logic for Computer Science and Artificial Intelligence

Ricardo Caferra(auth.)
Рік:
2013
Мова:
english
Файл:
PDF, 9.65 MB
0 / 0
english, 2013
7
Logic for computer science and artificial intelligence

Logic for computer science and artificial intelligence

Caferra, Ricardo
Рік:
2011
Мова:
english
Файл:
PDF, 4.25 MB
0 / 0
english, 2011
8
Automated Model Building

Automated Model Building

Ricardo Caferra, Alexander Leitsch, Nicholas Peltier
Рік:
2004
Мова:
english
Файл:
PDF, 1.63 MB
0 / 0
english, 2004
9
Automated deduction in classical and non-classical logics: selected papers

Automated deduction in classical and non-classical logics: selected papers

Ricardo Caferra, Gernot Salzer
Рік:
2000
Мова:
english
Файл:
PDF, 2.33 MB
0 / 0
english, 2000